This article was downloaded by:[University of Maastricht] On: 13 May 2008 Access Details: [subscription numberPublisher: Informa Healthcare Informa Ltd Registered in England and Wales Registered Number: 10729

Source URL: www.haraldmerckelbach.nl

• Cognitive science
• Neuropsychology
• Stress
• Psychology
• Anxiety
• Cortisol
• Glucocorticoids
• Otologicals
• Memory
• Explicit memory
• Episodic memory
• Trier social stress test

List of Participants of CCA 2016 First name Daniel Rui Arno Sewon

Source URL: cca-net.de

• Darmstadt
• Technische Universitt Darmstadt
• University of Trier
• University of Lausanne

Preprint. The final version of this paper will appear in the Proc. of ESEMHow Humans merge UML-Models Rainer Lutz, David W¨urfel and Stephan Diehl Department of Computer Science University of Trier

Source URL: www.st.uni-trier.de

• Unified Modeling Language
• Diagrams
• ISO standards
• Class diagram
• Object Process Methodology
• UML tool
• Entityrelationship model
• YEd
• Package diagram

Final Report on the NSF/DFG-funded Project “Middle High German Text Archive” Electronic Text Center University of Virginia, Charlottesville, and University of Trier DFG-Az.: LIS 1 – Uv; Bewilligung vom 0

Source URL: www.mhgta.uni-trier.de

• Computing
• Markup languages
• Technical communication
• XSLT
• Text Encoding Initiative
• Dictionary
• Deutsches Wrterbuch
• Digitizing
• Standard Generalized Markup Language
• Trier

Ralf Küsters University of Trier CSF (Vegetariano)

Source URL: csf2015.di.univr.it

An Epistemic Approach to Coercion-Resistance for Electronic Voting Protocols Ralf Küsters and Tomasz Truderung University of Trier Germany Email: {kuesters,truderun}@uni-trier.de

Source URL: www-veto2009.imag.fr

A Proof Technique for Noninterference In Open Systems: An extended version (Extended Abstract) Enrico Scapin University of Trier, Germany In [3], a framework has been proposed which allows tools that can check standard n

Source URL: software.imdea.org

Making big steps in trajectories Norbert Th. Müller, Dept. Computer Science, University of Trier Margarita Korovina, CICADA, University Manchester David Lester, Dept. Computer Science, University Manchester, Trier / Man

Source URL: theoinf.math.uni-siegen.de

An Expressive Model for the Web Infrastructure: Definition and Application to the BrowserID SSO System Daniel Fett, Ralf Küsters, and Guido Schmitz University of Trier, Germany Email: {fett,kuesters,schmitzg}@uni-trier

Source URL: ieee-security.org

Formal Analysis of Chaumian Mix Nets with Randomized Partial Checking Ralf K¨usters University of Trier, Germany Tomasz Truderung University of Trier, Germany

Source URL: ieee-security.org